استدلالِ هستیشناسیکِ گودل
author
Abstract:
کورت گودل در فوریة ۱۹۷۰ با دِینا اسکات دربارة استدلال هستیشناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تاحدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة دوم در نظام S5 است، با اینهمانی و یک اصل انتزاع ویژگیها. به شرط پذیرش نظام منطقی، نتیجة گودل، اینکه ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست میآید، اما سوبل نشان داد که استدلال با شکست وجهی مواجه است؛ یعنی از سیستم قابل استنتاج است. اندرسون در پاسخ به سوبل تلاش کرد با ضعیفترکردن برخی مقدمات، راه را بر استنتاج سوبل ببندد. در این مقاله تلاش خواهم کرد استدلال هستیشناسیک گودل (روایت اسکات) و همچنین انتقاد سوبل را از دیدگاهی منطقی توضیح دهم. مقاله با بیان اصلاحات اندرسون پایان خواهد یافت.
similar resources
استدلالِ هستی شناسیکِ گودل
کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...
full textقضیة ناتمامیت گودل و فلسفة ذهن
یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آنها در استدلالهایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل میآورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جملة گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...
full textپیامدهای فلسفی قضایای گودل
در این مقاله ، تاثیرات قضایای ناتمامیت اول و دوم گودل ، پس از تبیینی کوتاه ، در برخی فلسفه های مضاف ، از جمله فلسفه ی ریاضیات و فلسفه ی ذهن ، و نیز بر علیه مادی گرایی و پوزیتیویسم مورد بررسی و تحلیل قرار گرفته است. تاثیر قضایای گودل در فلسفه ی ریاضیات ، در سه حوزة منطق گرایی ، صورت گرایی و سرشت برهان بررسی شده است. در حوزه ی فلسفه ی ذهن ، به تاثیر قضایای گودل در براهین ضد ماشین انگا...
full textآیا قضایای ناتمامیت گودل را میتوان در مکانیک کوانتومی بهکاربرد؟
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
full textMy Resources
Journal title
volume 3 issue 1
pages 53- 76
publication date 2012-03-20
By following a journal you will be notified via email when a new issue of this journal is published.
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023